7 found
Order:
  1.  26
    Burton Dreben, A. S. Kahr, and Hao Wang. Classification of AEA formulas by letter atoms. Bulletin of the American Mathematical Society, vol. 68 , pp. 528–532. [REVIEW]F. C. Oglesby - 1964 - Journal of Symbolic Logic 29 (2):101.
  2.  26
    Jaakko Hintikka. Distributive normal forms in first-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 48–91. - Jaakko Hintikka. Distributive normal forms and deductive interpolation. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 185–191. [REVIEW]F. C. Oglesby - 1966 - Journal of Symbolic Logic 31 (2):267-268.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  26
    Layman E. Allen. Wff 'n proof. The game of modern logic. Wff 'n proof, New Haven, Conn., 1962, viii + 224 pp. - Layman E. Allen. Wff. The beginner's game of modern logic. Wff 'n proof, New Haven, Conn., 1963, 78 pp. [REVIEW]F. C. Oglesby - 1965 - Journal of Symbolic Logic 30 (1):105.
  4. Review: Jaakko Hintikka, J. N. Crossley, M. A. E. Dummett, Distributive Normal Forms in First-Order Logic; Jaakko Hintikka, Distributive Normal Forms and Deductive Interpolation. [REVIEW]F. C. Oglesby - 1966 - Journal of Symbolic Logic 31 (2):267-268.
  5.  19
    Review: Layman E. Allen, Wff 'n Proof. The Game of Modern Logic; Layman E. Allen, Wff. The Beginner's Game of Modern Logic. [REVIEW]F. C. Oglesby - 1965 - Journal of Symbolic Logic 30 (1):105-105.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Review: Setsuo Saito, Truth Value Assignment in Predicate Calculus of First Order. [REVIEW]F. C. Oglesby - 1966 - Journal of Symbolic Logic 31 (2):268-268.
  7.  14
    Saito Setsuo. Truth value assignment in predicate calculus of first order. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 216–223. [REVIEW]F. C. Oglesby - 1966 - Journal of Symbolic Logic 31 (2):268-268.